S. Artemov; "Explicit Provability and Constructive Semantics"
メモ
Sergei N. Artemov
https://scrapbox.io/files/6505202bbee03a001c03a549.pdf